Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
391	The PMA and Relativizing Change for Action Update Patrick Doherty Dept. of Computer Science Linkoping University S[removed]Linkoping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:08:21 Boolean algebra Propositional calculus Modal logic Philosophical logic Consistency Well-formed formula Mereology Logic Mathematical logic Non-classical logic
392	/info/www/ext/epa/arch/cis[removed]paper.dvi Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-24 05:53:23 Probability interpretations Science Artificial intelligence Logic in computer science Non-classical logic Fuzzy set Segmentation Uncertainty Measurement Logic Mathematical logic Fuzzy logic
393	Fundamenta Informaticae[removed]–[removed]IOS Press Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:51:35 Non-classical logic Logic programming Defeasible logic Inference Non-monotonic logic Æ Stratification First-order logic Logic Mathematical logic Reasoning
394	Annals of Mathematics and Articial Intelligence[removed]) ?{? 1 TALplanner: A Temporal Logic Based Forward Chaining Planner Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:12:58 Non-classical logic Linear temporal logic Temporal logic Modal logic 8T METAR Action Physics Logic Philosophical logic
395	Fundamenta Informaticae ?? ([removed]–15 IOS Press A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning Patrick Doherty∗ Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 09:26:04 Model theory Non-classical logic Propositional calculus Philosophical logic Boolean algebra Interpretation Modal logic First-order logic Function Logic Mathematical logic Mathematics
396	Conditional progressive planning: a preliminary report Lars Karlsson Department of Technology Orebro Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:33:22 Artificial intelligence Non-classical logic Linguistic modality Semantics Logic programming Modal operator Epistemology Nils Nilsson Planner Logic Mathematical logic Modal logic
397	Handbook of Knowledge Representation Edited by B. Porter, V. Lifschitz and F. van Harmelen c 2008 Elsevier All rights reserved 1 Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:07:08 Non-classical logic Science Knowledge representation Model theory Artificial intelligence Frame problem Situation calculus Circumscription Modal logic Logic Mathematical logic Logic programming
398	1 Truth-maker Semantics for Intuitionistic Logic I wish to propose a new semantics for intuitionistic logic, which is in some ways a cross between the construction-oriented semantics of Brouwer-Heyting-Kolmogorov (as exp Add to Reading List Source URL: www.nyu.edu Language: English - Date: 2014-08-19 11:37:32 Non-classical logic Mathematical constructivism Propositional calculus Philosophy of mathematics Intuitionistic logic Negation Modal logic Kripke semantics Intuitionism Logic Mathematical logic Philosophical logic
399	Time and Information in Sequential and Concurrent Computation Vaughan Pratt∗ Stanford University January 9, 2005 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:29 Mathematics Semigroup theory Concurrency Modal logic Non-classical logic Philosophical logic Monoid Parallel computing Chu space Abstract algebra Category theory Logic
400	Linear Logic for Generalized Quantum Mechanics Vaughan Pratt∗ Dept. of Computer Science Stanford University, CA[removed]removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2003-10-12 15:40:30 Non-classical logic Linear logic Quantum logic Intuitionistic logic Modal logic Propositional calculus Boolean algebra Function Interpretation Logic Mathematical logic Mathematics

UPDATE